//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#include <ddk.h>
#include "drvpub.h"

//#define DEBUG_DRVBUF
#ifdef DEBUG_DRVBUF
#define DBGOUT(x) (x)
#else
#define DBGOUT(x)
#endif
EXTERN_C void * Drv_AllocBuffer(uint_t uPages, uint_t uFlag)
{
    return DzAllocDiscontinuousKernelPages(uPages, 0);
}

EXTERN_C void Drv_FreeBuffer(void * VirtAddr, uint_t uPages)
{
    DzFreeDiscontinuousKernelPages(VirtAddr);
}
